Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
401	--------------------------------FINAL FOR POSTING-------------------------------Summary Report: Workshop to Address Changing Practices Around the Publication of Biological Data OVERVIEW The American Institute of Biologic Add to Reading List Source URL: www.aibs.org Language: English - Date: 2015-05-20 17:20:30 Formal sciences Academic publishing Data sharing Environmental science Scientific method Scientific misconduct Data management plan Dryad Data mining Science Technology Knowledge
402	IBM big data for the automotive industry Add to Reading List Source URL: www.oesa.org Language: English Computing Information technology management Formal sciences Intelligence Analytics Data warehouse IBM Infrastructure optimization ADAPA Business intelligence Technology Data management
403	Marketing Enablement Performance Analyst Are you an experienced Marketing Performance Analyst looking for a new career opportunity? Add to Reading List Source URL: www.informa.com Language: English - Date: 2015-05-27 12:01:41 Knowledge Formal sciences Data management Intelligence Web analytics Analytics Insight Business analytics Database marketing Business Business intelligence Marketing
404	SOMA Analytics Data Scientist (full-time) Add to Reading List Source URL: www.soma-analytics.de Language: English - Date: 2015-01-15 05:47:54 Formal sciences Computer graphics Infographics Scientific modeling Analytics Lean Startup Soma Machine learning Visualization Science Knowledge Learning
405	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
406	T +Santiago Zanella Béguelin H +u + Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptography Proof assistant Science Software Computing Formal sciences Coq GlobalPlatform
407	London Tech Company EDITD is Creating Roles Faster Than it can Fill Them 6 May, 2015, LONDON — In a pleasant reversal of the reportedly shaky state of the jobs market, Londonbased retail analytics firm EDITD has creat Add to Reading List Source URL: editd.com Language: English - Date: 2015-05-06 12:36:04 Business Topshop Analytics San Francisco Bay Area Laura Silicon Valley ASOS.com Geography of California Business intelligence Formal sciences
408	Marc Lelarge email: http://www.di.ens.fr/~lelarge +33 INRIA - ENS Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-16 16:48:04 Don Towsley Network science Information theory Theoretical computer science Academia Knowledge Cybernetics Formal sciences Science
409	BIG DATA 50 The hottest big data startups of 2014 Jeff Vance Table of Contents Add to Reading List Source URL: startup50.com Language: English - Date: 2014-10-29 19:03:55 Cloud infrastructure Formal sciences Concurrent computing Apache Hadoop Cloudera Big data Analytics Computing Technology Cloud computing
410	Cópia de IPS+STS Sessions Schedule V4.xlsx Add to Reading List Source URL: www.isi2015.org Language: English - Date: 2015-05-28 08:35:04 Data analysis Scientific method Research methods Econometrics Data mining Statistical inference Spatial analysis Exploratory data analysis Regression analysis Statistics Science Formal sciences

UPDATE